// re2c $INPUT -o $OUTPUT -i --location-format gnu
/*!re2c <c> "a" {